1. Algebraic algorithmics and error-correcting codes : 3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985: Proceedings
المؤلف: edited by Jacques Calmet
المکتبة: (طهران)
موضوع: Congresses ، Error-correcting codes )Information theory(,Data processing -- Congresses ، Algebra,Congresses ، Algorithms,Congresses ، Coding theory
رده :
QA
76
.
L28
Vol
.
229
2. Algebraic algorithms and error-correcting codes : 3rd international conference, AAECC-3, Grenoble, France, July 15-19, 1985, proceedings
المؤلف: edited by Jacques Calmet
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Data processing - Congresses ، Algebra,Congresses ، Computer algorithms,Congresses ، Coding theory
رده :
QA
76
.
L4
v
.
229
3. Algebraic algorithms & error-correcting codes:3rd international
المؤلف: CALMET,JACQUES
المکتبة: (طهران)
موضوع: ALGEBRA-DATA PROCESSING-CONGRESSES , ALGORITHMS-CONGRESSE , CODING THEORY-CONGRESSES
رده :
QA
155
.
7
.
E4
A55
1985
4. Artificial Intelligence and Symbolic Computation
المؤلف: / Mateos-nکCorral, Jacques Calmet, Francisco J. Mart-Gonzalo A. Aranda
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
5. Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 1998 : proceedings
المؤلف: Jacques Calmet, Jan Plaza )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1476
6. Artificial intelligence and symbolic computation: 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006: proceedings
المؤلف: Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
Q
334
.
A766
2006
7. Artificial intelligence and symbolic computation : 8th international conference, AISC 2006 Beijing, China, September 20-22, 2006 : proceedings
المؤلف: Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
4120
8. Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings
المؤلف: Jacques Calmet, John A. Campbell, Jochen Pfalzgraf, eds
المکتبة: (طهران)
موضوع: Artificial intelligence - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
Q
334
.
A766
1996
9. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings
المؤلف: Jacques Calmet, John A. Campbell )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
737
10. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings
المؤلف: Jacques Calmet, John A. Campbell , Jochen Pfalzgraf )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1138
11. Artificial intelligence, automated reasoning, and symbolic computation : joint International Conferences, AISC 2002 and CALCULEMUS 2002, Marseille, France, July 1-5, 2002 proceedings
المؤلف: Jacques Calmet...]et al.[
المکتبة: (طهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2385
12. Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982
المؤلف: edited by Jacques Calmet
المکتبة: (طهران)
موضوع: Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
144
13. Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982
المؤلف: edited by Jacques Calmet
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Data processing - Congresses ، Algebra
رده :
QA
76
.
L4
v
.
144
14. Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982
المؤلف: edited by Jacques Calmet,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Algebra - Data processing - Congresses
رده :
QA
.
E4E85
155
.
7
1982
15. Design and implementation of symbolic computation systems : International Symposium, DISCO 96, Karlsruhe, Germany, September 18-20-, 1996 : proceedings
المؤلف: Jacques Calmet, Carla Limongelli, eds
المکتبة: (طهران)
موضوع: System design - Congresses , Automatic theorem proving - Congresses , Mathematics - Data processing - Congresses
رده :
QA
76
.
9
.
S88
I576
1996
16. Intelligent Computer Mathematics
المؤلف: / Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
17. Mathematical methods in computer science
المؤلف: / Jacques Calmet, Willi Geiselmann, Jeorn Meuller-Quade, (eds.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Beth, Thomas,--1949,Computer science--Mathematics,Quantum computers.,Cryptography.,Coding theory.
رده :
QA
,
76
.
9
,.
M35
,
M384
,
2008
18. Mathematical methods in computer science. essays in memory of Thomas Beth
المؤلف: Jacques Calmet, Willi Geiselmann, Jorn Muller-Quade, )eds.(
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Computer science- Mathematics,، Quantum computers,، Cryptography,، Coding theory,، Beth, Thomas, 9491-
رده :
QA
76
.
9
.
M35
M384
2008
